#define _CRT_SECURE_NO_WARNINGS
#include <stdio.h>

int main() {
	int date, fog, num;
	scanf("%d%d%d", &date, &fog, &num);
	num %= 10;
	if (date == 6 || date == 7 || fog < 200) {
		printf("%d no", num);
		return 0;
	}
	if (date < 6 && date > 0) {
		if (fog < 400 && fog >= 200) {
			switch (date) {
			case 1: {
				if (num == 1 || num == 6) {
					printf("%d yes", num);
					return 0;
				}
				else {
					printf("%d no", num);
					return 0;
				}
			}

			case 2: {
				if (num == 2 || num == 7) {
					printf("%d yes", num);
					return 0;
				}
				else {
					printf("%d no", num);
					return 0;
				}
			}

			case 3: {
				if (num == 3 || num == 8) {
					printf("%d yes", num);
					return 0;
				}
				else {
					printf("%d no", num);
					return 0;
				}
			}

			case 4: {
				if (num == 4 || num == 9) {
					printf("%d yes", num);
					return 0;
				}
				else {
					printf("%d no", num);
					return 0;
				}
			}

			case 5: {
				if (num == 5 || num == 0) {
					printf("%d yes", num);
					return 0;
				}
				else {
					printf("%d no", num);
					return 0;
				}
			}

			}
			if (fog >= 400) {
				switch (date) {
				case 1: {
					if (num == 1 || num == 3 || num == 5 || num == 7 || num == 9) {
						printf("%d yes", num);
						return 0;
					}
					else {
						printf("%d no", num);
						return 0;
					}
				}
				case 3: {
					if (num == 1 || num == 3 || num == 5 || num == 7 || num == 9) {
						printf("%d yes", num);
						return 0;
					}
					else {
						printf("%d no", num);
						return 0;
					}
				}
				case 5: {
					if (num == 1 || num == 3 || num == 5 || num == 7 || num == 9) {
						printf("%d yes", num);
						return 0;
					}
					else {
						printf("%d no", num);
						return 0;
					}
				}

				case 2: {
					if (num == 0 || num == 2 || num == 4 || num == 6 || num == 8) {
						printf("%d yes", num);
						return 0;
					}
					else {
						printf("%d no", num);
						return 0;
					}
				}
				case 4: {
					if (num == 0 || num == 2 || num == 4 || num == 6 || num == 8) {
						printf("%d yes", num);
						return 0;
					}
					else {
						printf("%d no", num);
						return 0;
					}
				}
				}
			}
		}
	}
	return 0;
}
